name := "typelevel-playground"

version := "0.1"

scalaVersion := "2.13.6"

libraryDependencies += "com.chuusai" % "shapeless_2.13" % "2.3.7"